21. Verification techniques for system-level design
پدیدآورنده: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK7895
.
E42F95
2008
22. fundamentals of design and manufacturing technology I
پدیدآورنده: / edited by Hun Guo, Zuo Dunwen, Tang Guoxing
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع: Engineering design--Data processing,Manufacturing processes--Data processing,Computer integrated manufacturing systems,Manufacturing processes--Automation,CAD/CAM systems
رده :
TA174
.
A385
2011
